dfa minimization using table filling method